-
1 symbol of implication
Большой англо-русский и русско-английский словарь > symbol of implication
-
2 symbol of implication
Математика: знак импликации -
3 symbol of implication
мат.English-Russian scientific dictionary > symbol of implication
-
4 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
5 знак импликации
Большой англо-русский и русско-английский словарь > знак импликации
См. также в других словарях:
symbol — Most generally, any act or thing which represents something else. More particularly, the smallest meaning unit in the semantic fields of rituals , dream, or myth . In psychoanalysis , a symbol is an act or object representing a repressed… … Dictionary of sociology
Symbol — Most generally, any act or thing which represents something else. More particularly, the smallest meaning unit in the semantic fields of rituals , dream, or myth . In psychoanalysis , a symbol is an act or object representing a repressed… … Dictionary of sociology
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Converse implication — is the converse of implication. That is to say; that for any two propositions P and Q, if Q implies P, then P is the converse implication of Q. It may take the following forms: p⊂q, Bpq, or p←q Contents 1 Definition 1.1 Truth table 1.2 … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia